software testing metric formulas